horn clause prover
Horn子句证明器
热门查询
- unwashed adj. 未洗的，不清洁的；平民百姓的；下层人民的
- axillary n. [鸟] 腋羽 adj. [植] 腋生的；腋窝的；叶腋的
- mite n. 极小量；小虫；小孩儿；微小的东西
- venture n. 企业；风险；冒险 vt. 敢于 vi. 冒险；投机 n. (Venture)人名；(法)旺蒂尔
- unlike prep. 和…不同，不像 adj. 不同的，不相似的
- Kinnock n. (Kinnock)人名；(英)金诺克
- verbal n. 动词的非谓语形式 adj. 口头的；言语的；动词的；照字面的
- independence n. 独立性，自立性；自主
- stifle n. （马等的）后膝关节；（马等的）[动] 后膝关节病 vt. 扼杀；使窒息；藏匿 vi. 窒息；被扼杀
- tale n. 故事；传说；叙述；流言蜚语 n. (Tale)人名；(塞)塔莱
- underpin vt. 巩固；支持；从下面支撑；加强…的基础
- Ashbourne n. (Ashbourne)人名；(英)阿什伯恩
- homogenized adj. 成为均匀分布的微粒的 v. 使均匀；使类同；使（牛奶、奶油等中的油脂粒）分布均匀；变均匀（homogenize的过去式）
- guarantee n. 保证；担保；保证人；保证书；抵押品 vt. 保证；担保
- TS abbr. 试验装置（Test Set）；易性恋者（TransSexual）；拉伸强度（tensile strength）；锥形柄（tapered shank）
- Woodley [人名] [英格兰人姓氏] 伍德利住所名称，来源于古英语，含义是“树林+开垦地，草原”(wood+clearing,pasture); [地名] [英国] 伍德利
- reproducer n. 扬声器；复制程序；再生器
- frolick vi. 嬉戏, 玩耍
- Segal [人名] 西格尔; [地名] [厄瓜多尔] 塞加尔
- biliary adj. 胆的；胆汁的；输送胆汁的；由于胆汁异状的
考试词汇表
- government censor
- government cheese
- government decree
- government entity
- government expert
- government grants
- government income
- government issues
- government market
- government notice
- government of men
- government office
- government papers
- government policy
- government relief
- government saving
- government sector
- government sharre
- government stocks
- government stroke
